Parametric WCET Analysis
نویسنده
چکیده
Interpretation The topic of static analysis, abstract interpretation and WCET analysis is quite big, there are several conferences with related material and so forth. This section will be focusing on central literature in my particular work. Since my work will be centralized around abstract interpretation, there is one important seminal paper, that is the introduction paper by Cousots in 1977. It has the not-so-short title ”abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints” [CC77]. This has generally been accepted as a subject and as could be seen above; many conferences has this as a topic. One important topic in abstract interpretation is choosing a suitable abstraction for the semantics, such an abstraction is commonly refered to as an abstract domain. Important such domains has been proposed in [CC77], [CH78], [Gra89]. Program Analysis When it comes to static program analysis in general there is a very important book which attempts to unify most static analyses and showing similarities between them. It is an esential source of knowledge for beginners and researchers in static analysis. The title is ”Principles of Program Analysis” by Nielson, Nielson and Hankin [NNH05].
منابع مشابه
Evolutionary Techniques for Parametric WCET Analysis
Estimating the worst-case execution time (WCET) of real-time programs is pivotal in their verification. WCET estimation either yields a numeric value that represents the maximum execution time of the program when executed on a specific hardware platform; or yields a parametric expression in the form of some function of the input which when instantiated with a particular input value, gives a WCE...
متن کاملA Formal Framework for Precise Parametric WCET Formulas
Parametric worst-case execution time (WCET) formulas are a valuable tool to estimate the impact of input data properties on the WCET at design time, or to guide scheduling decisions at runtime. Previous approaches to parametric WCET analysis either provide only informal adhoc solutions or tend to be rather pessimistic, as they do not take flow constraints other than simple loop bounds into acco...
متن کاملA Modular Methodology for Automatic Static Parametric WCET Analysis
In order to overcome some of the inherent pessimism of traditional static analysis, we propose a method for parametric WCET analysis expressing the WorstCase Execution Time (WCET) of a program as an expression in terms of the input data of a program. Besides giving more information about the execution time behaviour of the program, this also has benefits in component based development where reu...
متن کاملFully Automatic, Parametric Worst-Case Execution Time Analysis
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expressions that may contain parameters. These parameters may represent, for instance, values of input parameters to the program, or maximal iteration counts for loops. We describe a technique for fully automatic parametri...
متن کاملContext-sensitive Parametric WCET Analysis
In this paper, we propose a WCET analysis that focuses on two aspects. First, it supports contextsensitive hardware and software timing effects, meaning that it is sensitive to the execution history of the program and thus can account for effects like cache persistence, triangular loop, etc. Second, it supports the introduction of parameters in both the software model (e.g. parametric loop boun...
متن کاملAn automatic parametric approach for WCET analysis of C programs
In this paper, we propose a static worstcase execution time (WCET) analysis approach aimed to automatically extract flow information related to program semantics. This information is used to reduce the overestimation of the calculated WCET. We focus on flow information related to loop bounds and infeasible paths. The approach handles loops with multiple exit conditions and non-rectangular loops...
متن کامل